proof of algorithm
英 [pruːf ɒv ˈælɡərɪðəm]
美 [pruːf əv ˈælɡərɪðəm]
【计】算法验证
双语例句
- Security proof of a digital signature algorithm Rabin-PSS-MR
消息恢复型数字签名算法Rabin-PSS-MR安全性证明 - The proof of the new algorithm was also presented, which showed that its optimal weight vector was the solution of generalized Wiener equation.
从信号前后时刻相关性角度出发，提出了一种新的快速自适应滤波算法，并证明了其最优权值是一种广义的维纳方程解。 - The proof of this algorithm and its application are given.
文中给出了算法的详细证明和实例应用。 - The PID learning controller is composed by using single neuron and the simulation studies are conducted for the hydroturbine governing systems in this paper. The simulation results proof the strong robustness of the control algorithm.
采用单个神经元构成PID学习控制器，应用于水轮机调节系统，仿真结果表明控制算法具有强的鲁棒性。 - This paper presents an unique proof of the convergence of classic iterative algorithm for signal reconstruction from spectral phase.
研究由相位谱重构有限长离散信号，即幅度补偿问题的收敛性。文章独立地以归一化相关系数对经典迭代法的收敛性进行了证明。 - The paper also proposes a fast algorithm to compute the median of a hierarchy coding data set, and gives a clear proof of the algorithm.
针对聚类算法的中心点问题，提出了相应的层次编码型数据的快速处理算法，并从理论上证明了算法的正确性。 - A new proof of an iteration algorithm of M-P generalized inverse of matrix
矩阵的M&P广义迭代算法的新证明 - Proof of Convergence of Saddle Point Algorithm for LP Problems In Case of Base Set Changed
LP鞍点算法收敛性分析 - Finally, a proof of the convergence of this algorithm is given in the appendix.
最后在附录里对这种算法的收敛性作了证明。 - A proof of the solving algorithm of GMM is given, and how the decision threshold, preemphasis coefficient, GMM order, utterance length for test and training affect the system performance has been studied.
给出了GMM求解算法的一种简便推导，着重研究了判别阈值，预加重系数，GMM阶次，训练语音长度及辨识语音长度对系统辨识性能的影响。 - Modify the Incorrect Proof of One Theorem in Network Algorithm Computation Complexity
《网络算法与复杂性理论》中一个定理的错误证明的更正 - This paper puts forward a new method and a corresponding algorithm used for a general-purpose global data-flow analysis, and gives the time complexity analysis and the correctness proof of the algorithm.
本文提出了一种通用的全局数据流分析新方法及相应的算法，并给出了该算法的时间复杂性分析及其正确性证明。 - In this paper we recommend a new method for solving nonlinear least-square problem and give a proof of convergence of an iteration algorithm of M-P generalized inverse of matrix for solving nonlinear least-square problem.
本文介绍了一种解非线性最小二乘问题的新方法，并证明了解非线性最小二乘问题M&P广义逆迭代算法的收敛性。 - A new proof of the Effort Minimal Algorithm is given, which could improve series system reliability, and will make engineer understand the Effort Minimal Algorithm more easily, so that Effort Minimal Algorithm can be made operative and reliable.
给出了提高串联系统可靠度水平的努力最小算法的一种新证明，通过证明使得工程技术人员能够比较容易地理解该算法，增加该算法的可操作性和实用性。 - The Standard Proof and Formal Derivation of the Complex Algorithm Program
复杂算法程序的规范证明和形式推导 - A Graphic-based Theory Proof of Compliance Algorithm
基于图论的一致性验证算法 - The correctness proof of the algorithm is also given in this paper.
本文还给出了该算法的正确性证明。 - Also the proof of global convergence of the algorithm is presented, which is of value for discussions of convergence of more general algorithms.
还证明了该算法的总体收敛性，其证明方法对一般迭代算法的收敛性讨论具有参考价值。 - Our methods are illustrated by a proof of a Bubble Sort algorithm.
本文最后以证明冒泡分类算法例示了本文方法的使用情况。 - In this paper, we present an proof of convergence of algorithm which solve the convex inequalities belonging to the convex feasibility problem. The proof utilize the ideas of projection algorithm, the frame of the descent iterative algorithm and the distinguishing feature of the convex inequalities problem.
本文针对凸可行问题中的凸不等式组，结合凸可行问题投影算法的思想与优化算法中下降迭代算法，利用凸不等式组自身特点，给出了凸不等式组求解算法的一个收敛性证明。 - Proof and Application of Effort Minimal Algorithm in Series System Reliability Distribution
串联系统可靠性分配问题中努力最小算法的证明 - Proof for Theory of Marked Zero Algorithm of Matrix
矩阵标记零算法的理论证明 - Theoretical Derivation and Equivalent Proof of Abstractive Algorithm C-T-ABS and Abstract
抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明 - And through the application of a typical set of background video to the improved algorithms, the validation gives a proof of the improved algorithm which can indeed achieve better target detection results.
并通过对一组典型的复杂背景视频集合对改进的算法进行了验证，证明了改进的算法确实能够取得更好的目标检测结果。 - Based on the proof of the optimality of Moore-Hodgson algorithm, we analyze and address the algorithms of some generalized scheduling problems to minimize the number of tardy jobs and give their corresponding new proofs.
在Moore-Hodgson算法最优性证明的基础上，本文又分析和研究了求解几种推广的误工排序问题的算法，并且也给出相应的新的证明。 - At last, we give the convergence proof of this algorithm. ( 2) Under the definition of the fitness by object function, we analyze the role of new solutions produced in the iterative process.
最后证明了算法的收敛性。（2）基于新的目标函数适应度，分析迭代过程中产生的新解对搜索的影响作用。 - The proof of algorithm stability assured that a sequence of control action can be acquired to make closed-loop system asymptotically stable in each sample time. By that the system can be state stable quickly through this method.
算法的稳定性证明保证了在每一个优化周期内都能得到一组使闭环系统渐进稳定的控制作用序列，可以较快地实现严格的状态稳定。 - However, the proof of the optimality of Moore-Hodgson algorithm is very complicated.
然而关于Moore-Hodgson算法的证明是非常繁杂的。 - The feasibility of the algorithm is proved by a rigorous mathematical proof, and the effectiveness of the algorithm is corroborated by a large number of simulation experiments.
经过详细的数学证明，证明了算法的可行性，并通过大量的仿真实验验证了算法的有效性。 - A briefer proof of Moshe and Hertz algorithm of DFT for the k-D case is given in this paper. 3.
对于多维DFT的Moshe和Hertz算法，给出了一个更简短的证明。